مدل سازی، اثبات صحت و ارزیابی زمانبندی چند پردازنده با روش cbr-la توسعه یافته

امروزه سیستم های چند پردازنده کاربرد وسیعی در حوزه رایانه های شخصی، گوشی های تلفن همراه و همچنین سیستم-های توزیعی دارند، به همین دلیل موضوع تطبیق وزمانبندی ایستای کارها در سیستم های توزیع شده محاسباتی به دلیل استفاده بهینه از ماشین های محاسباتی موجود و هچنین صرف زمان کمتر برای اجرای الگوریتم زمانبندی از اهمیت ویژه ای برخوردار است. با توجه به این موضوع که کارهای محاسباتی پیچیده نمی توانند در یک بازه زمانی قابل قبول بر روی یک ماشین محاسباتی اجرا شوند، آنها را به زیر کارهای کوچکتر تقسیم نموده و برای اجرای این زیر کارها و با توجه به ماهیت توزیع شدگی کارها می توان از سیستم محاسباتی توزیع شده استفاده کرد. به طور کلی در مسَله زمانبندی چند پردازندگی، هدف اجرای یک برنامه به صورت موازی روی چندین پردازنده می باشد، به طوری که زمان اجرای کل برنامه با توجه به زمان وظایف و ارتباط بین پردازنده ها کمینه گردد. تکنیک های زمانبندی به دو دسته همگن و نا همگن تقسیم می گردد، از جمله روشهای انتساب وظایف در سیستمهای محاسباتی نا همگن روش cbr-la می باشد که در آن ترکیبی از تکنیک های استنتاج مبتنی بر مورد cbr(case base reasoning) و مدل اتوماتای یادگیر la استفاده شده است . هدف ما در فاز اول، مدل سازی روش یاد شده و اثبات صحت آن و شبیه سازی آن در محیط cpn می باشد که در این محیط نحوه زمانبندی چند پردازنده ها مدل سازی شده و صحت انجام آن اثبات می گردد. هدف ما در فاز دوم، توسعه و بهینه کردن این روش و ارایه الگوریتم و روش پیشنهادی همگام با شبیه سازی و مدل سازی می باشد که طی آن میزان کارایی و راندمان الگوریتم یاد شده بالا رفته و مشکلات آن نیز بر طرف می گردد. در فاز سوم، با استفاده از monitor در مدل ایجاد شده و اعمال توابع توزیع احتمالی رخدادها مدل را شبیه سازی کرده و آمارهای مورد نیاز در رابطه با performance و average waiting time و average terminal time را بدست خواهیم آورد.